Software language - PDFSEARCH.IO - Document Search Engine

Software language
Results: 21611

#	Item
91	Squibs Tommi A. Pirinen Development and Use of Computational Morphology of Finnish in the Open Source and Open Science Era: Notes on Add to Reading List Source URL: www.linguistics.fi Language: English - Date: 2016-01-25 16:26:37 Linguistics Computational linguistics Software Academia Applied linguistics Corpus linguistics Compiler construction Speech recognition Apertium Parsing Machine translation Natural language processing
92	NCache Case Study - Grocery Outlet Add to Reading List Source URL: www.alachisoft.com Language: English - Date: 2016-06-28 11:12:44 Computing Software Computer memory NCache Distributed cache ASP.NET Language Integrated Query .NET Framework Query language Cache
93	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable D1.2.B-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-07 09:24:09 Computing Software engineering Technology Formal methods Product development Project management Scientific modeling Logic in computer science Software development Information model Modeling language Entityrelationship model
94	Fall 2015: EECS Textbook Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class se Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-08-27 14:39:22 Software engineering Computing Programming language theory Textbooks Ada Digital textbook
95	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
96	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
97	Instrumenting the Crowd: Using Implicit Behavioral Measures to Predict Task Performance Jeffrey M. Rzeszotarski, Aniket Kittur Human-Computer Interaction Institute Carnegie Mellon Univerity Pittsburgh, PA Add to Reading List Source URL: jeffrz.com Language: English - Date: 2016-07-11 17:46:18 Human-based computation Computing Crowdsourcing Social information processing Web services Education Amazon Mechanical Turk Software Windows Task Scheduler Fingerprint Natural language processing Educational technology
98	Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:11:07 Engineering Software engineering Unified Modeling Language Software testing Software Software quality Systems engineering Pharmaceutical industry Verification and validation Model-based testing Profile Simulink
99	CHAPTER V. Thomas Haskell and his Descendants, -Continued. William Lunt, of whom and his ledger, mention was made in the preceding chapter, would seem, according to the ledger, to have had business dealings with most of Add to Reading List Source URL: www.westbrookhistoricalsociety.org Language: English - Date: 2009-10-31 21:59:19 Portland Maine metropolitan area Software engineering Programming language theory Computer programming Westbrook Maine Haskell Falmouth Maine Falmouth Massachusetts
100	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY Add to Reading List Source URL: www.math.purdue.edu Language: English - Date: 2010-01-13 17:46:38 Software engineering Computer programming Computing Functional languages Subroutines Procedural programming languages Data types Lambda calculus Scheme Lisp Anonymous function Scope

UPDATE